Pinna, G. Michele: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Banking on Blockchain: Costs Savings Thanks to the Blockchain Technology

Cocco, Luisanna, Pinna, Andrea, Marchesi, Michele

Journal:

Future Internet

Year:

2017

Language:

english

File:

PDF, 732 KB

english, 2017

2

A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain

Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi

Journal:

Mathematical Logic Quarterly

Year:

2000

Language:

english

File:

PDF, 250 KB

english, 2000

3

[IEEE 2017 AEIT International Annual Conference - Cagliari, Italy (2017.9.20-2017.9.22)] 2017 AEIT International Annual Conference - Crypto-trading: Blockchain-oriented energy market

Mannaro, Katiuscia, Pinna, Andrea, Marchesi, Michele

Year:

2017

Language:

english

File:

PDF, 344 KB

english, 2017

4

Applying the ETL Process to Blockchain Data. Prospect and Findings

Galici, Roberta, Ordile, Laura, Marchesi, Michele, Pinna, Andrea, Tonelli, Roberto

Journal:

Year:

2020

File:

PDF, 617 KB

2020

5

Ensuring transparency and traceability of food local products: A blockchain application to a Smart Tourism Region

Baralla, Gavina, Pinna, Andrea, Tonelli, Roberto, Marchesi, Michele, Ibba, Simona

Journal:

Concurrency and Computation: Practice and Experience

Year:

2020

File:

PDF, 1.92 MB

2020

6

Temporal relationship between arousals and Cheyne-Stokes respiration with central sleep apnea in heart failure patients

Pinna, Gian Domenico, Robbi, Elena, Terzaghi, Michele, Corbellini, Daniela, La Rovere, Maria Teresa, Maestri, Roberto

Journal:

Clinical Neurophysiology

Year:

2018

Language:

english

File:

PDF, 1.81 MB

english, 2018

7

Investigations on Fragments of First Order Branching Temporal Logic

Franco Montagna, G. Michele Pinna, B. P. Tiezzi

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 195 KB

english, 2002

8

Contracts as games on event structures

Bartoletti, Massimo, Cimoli, Tiziana, Michele Pinna, G., Zunino, Roberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.49 MB

english, 2015

9

[IEEE 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE) - Hangzhou, China (2019.2.24-2019.2.24)] 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE) - Implementing a Microservices System with Blockchain Smart Contracts

Tonelli, Roberto, Lunesu, Maria Ilaria, Pinna, Andrea, Taibi, Davide, Marchesi, Michele

Year:

2019

File:

PDF, 255 KB

2019

10

Blendas biodegradáveis de poli(3-hidroxibutirato)/poli(e-caprolactona): obtenção e estudo da miscibilidade

Vogelsanger, Nilton, Formolo, Michele Cristina, Pezzin, Ana Paula Testa, Schneider, Andréa Lima dos Santos, Furlan, Sandra Aparecida, Bernardo, Heloísa Pinna, Pezzin, Sérgio Henrique, Pires, Alfredo T

Journal:

Materials Research

Year:

2003

File:

PDF, 808 KB

2003

11

Spreading nets: A uniform approach to unfoldings

Pinna, G. Michele, Fabre, Eric

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 866 KB

2020

12

Intermittent inflow occlusion in living liver donors: Impact on safety and remnant function

Charles M. Miller, Michele Masetti, Nicola Cautero, Fabrizio DiBenedetto, Augusto Lauro, Antonio Romano, Cristiano Quintini, Antonio Siniscalchi, Bruno Begliomini, Antonio D. Pinna

Journal:

Liver Transplantation

Year:

2004

Language:

english

File:

PDF, 68 KB

english, 2004

13

Increased prothrombin time and platelet counts in living donor right hepatectomy: Implications for epidural anesthesia

Antonio Siniscalchi, Bruno Begliomini, Lesley De Pietri, Vanessa Braglia, Matteo Gazzi, Michele Masetti, Fabrizio Di Benedetto, Antonio D. Pinna, Charles M. Miller, Alberto Pasetto

Journal:

Liver Transplantation

Year:

2004

Language:

english

File:

PDF, 135 KB

english, 2004

14

On the nature of events: another perspective in concurrency

G.Michele Pinna, Axel Poigné

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 2.18 MB

english, 1995

15

On the suitability of Yule process to stochastically model some properties of object-oriented systems

Giulio Concas, Michele Marchesi, Sandro Pinna, Nicola Serra

Journal:

Physica A: Statistical Mechanics and its Applications

Year:

2006

Language:

english

File:

PDF, 349 KB

english, 2006

16

Sol-gel palladium catalysts for nitrate and nitrite removal from drinking water

Giorgio Strukul, Francesco Pinna, Marcello Marella, Letizia Meregalli, Michele Tomaselli

Journal:

Catalysis Today

Year:

1996

Language:

english

File:

PDF, 402 KB

english, 1996

17

Use of palladium based catalysts in the hydrogenation of nitrates in drinking water: from powders to membranes

Giorgio Strukul, Roberta Gavagnin, Francesco Pinna, Enza Modaferri, Siglinda Perathoner, Gabriele Centi, Marcello Marella, Michele Tomaselli

Journal:

Catalysis Today

Year:

2000

Language:

english

File:

PDF, 635 KB

english, 2000

18

Specifying and verifying reactive systems in a multi-language environment

Agathe Merceron, Monica Müllerburg, G.Michele Pinna

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 151 KB

english, 2002

19

Unusual presentation of graft-versus-host disease in pediatric liver transplant recipients: Evidence of late and recurrent disease

Antonio D. Pinna, Deborah Weppler, Mariana Berho, Michele Masetti, Werviston DeFaria, Tomoaki Kato, John Thompson, Camillo Ricordi, Andreas G. Tzakis

Journal:

Pediatric Transplantation

Year:

1999

Language:

english

File:

PDF, 110 KB

english, 1999

20

Guidelenines in the management of obstructing cancer of the left colon: consensus conference of the world society of emergency surgery (WSES) and peritoneum and surgery (PnS) society

Luca Ansaloni, Roland E Andersson, Franco Bazzoli, Fausto Catena, Vincenzo Cennamo, Salomone Di Saverio, Lorenzo Fuccio, Hans Jeekel, Ari Leppäniemi, Ernest Moore, Antonio D Pinna, Michele Pisano, Ale

Journal:

World Journal of Emergency Surgery

Year:

2010

Language:

english

File:

PDF, 648 KB

english, 2010

21

Kinetic changes of αB crystallin expression in neoplastic cells and syngeneic rat fibroblasts at various subculture stages

Federico Bennardini, Antonella Mattana, Elisabetta Pinna Nossai, Marco Mignano, Flavia Franconi, Claudia Juliano, Luigi Sciola, Proto Pippia, Michele Chiesi

Journal:

Molecular and Cellular Biochemistry

Year:

1995

Language:

english

File:

PDF, 1.50 MB

english, 1995

22

Understanding protein kinase CK2 mis-regulation upon F508del CFTR expression

Andrea Venerando, Mario A. Pagano, Kendra Tosoni, Flavio Meggio, Diane Cassidy, Michelle Stobbart, Lorenzo A. Pinna, Anil Mehta

Journal:

Naunyn-Schmiedeberg's Archives of Pharmacology

Year:

2011

Language:

english

File:

PDF, 667 KB

english, 2011

23

Foreword

Mario Coppo, Elena Lodi, G. Michele Pinna

Journal:

Theory of Computing Systems

Year:

2008

Language:

english

File:

PDF, 138 KB

english, 2008

24

Recurrent giant chalazia in hyperimmunoglobulin E (Job’s) syndrome

Pierpaolo Patteri, Alain Serru, Maria Letizia Chessa, Michele Loi, Antonio Pinna

Journal:

International Ophthalmology

Year:

2009

Language:

english

File:

PDF, 158 KB

english, 2009

25

Proteomic and Metabolomic Profiles in Atherothrombotic Vascular Disease

Roxana Martinez-Pinna, Coral Barbas, Luis Miguel Blanco-Colio, Jose Tunon, Priscila Ramos-Mozo, Juan Antonio Lopez, Olivier Meilhac, Jean-Baptiste Michel, Jesus Egido, José Luis Martin-Ventura

Journal:

Current Atherosclerosis Reports

Year:

2010

Language:

english

File:

PDF, 145 KB

english, 2010

26

A complete fuzzy logical system to deal with trust management systems

Tommaso Flaminio, G. Michele Pinna, Elisa B.P. Tiezzi

Journal:

Fuzzy Sets and Systems

Year:

2008

Language:

english

File:

PDF, 297 KB

english, 2008

27

Use of a branch patch with the cystic artery in living-related liver transplantation

Fabrizio Di Benedetto, Augusto Lauro, Michele Masetti, Nicola Cautero, Cristiano Quintini, Alessandro Dazzi, Giovanni Ramacciato, Andrea Risaliti, Charles M Miller, Antonio D Pinna

Journal:

Clinical Transplantation

Year:

2004

Language:

english

File:

PDF, 90 KB

english, 2004

28

Impact of biliary complications in right lobe living donor liver transplantation

Giovanni Ramacciato, Giovanni Varotti, Cristiano Quintini, Michele Masetti, Fabrizio Di Benedetto, Gian Luca Grazi, Giorgio Ercolani, Matteo Cescon, Matteo Ravaioli, Augusto Lauro, Antonio Pinna

Journal:

Transplant International

Year:

2006

Language:

english

File:

PDF, 93 KB

english, 2006

29

Evolution as Computation

G. MICHELE PINNA, ELISA B. P. TIEZZI

Journal:

Annals of the New York Academy of Sciences

Year:

1999

Language:

english

File:

PDF, 429 KB

english, 1999

30

Pretransplantation pre-S2 and S protein heterogeneity predisposes to hepatitis B virus recurrence after liver transplantation

Antonella Grottola, Paola Buttafoco, Maria Grazia Del Buono, Claudia Cremonini, Alessandra Colantoni, Roberta Gelmini, Cristina Morelli, Michele Masetti, Elio Jovine, Fiorenza Fruet, Antonio Pinna, Fe

Journal:

Liver Transplantation

Year:

2002

Language:

english

File:

PDF, 85 KB

english, 2002

31

Modeling dependencies and simultaneity in membrane system computations

G. Michele Pinna, Andrea Saba

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 439 KB

english, 2012

32

Liver Transplantation from Donors Aged 80 Years and Over: Pushing the Limit

Bruno Nardo, Michele Masetti, Lucio Urbani, Paolo Caraceni, Roberto Montalti, Franco Filipponi, Franco Mosca, Gerardo Martinelli, Mauro Bernardi, Antonio Daniele Pinna, Antonino Cavallari

Journal:

American Journal of Transplantation

Year:

2004

Language:

english

File:

PDF, 131 KB

english, 2004

33

Power-Laws in a Large Object-Oriented Software System

Concas, Giulio, Marchesi, Michele, Pinna, Sandro, Serra, Nicola

Journal:

IEEE Transactions on Software Engineering

Year:

2007

Language:

english

File:

PDF, 8.92 MB

english, 2007

34

CFTR mutations altering CFTR fragmentation

Tosoni, Kendra, Stobbart, Michelle, Cassidy, Diane M., Venerando, Andrea, Pagano, Mario A., Luz, Simão, Amaral, Margarida D., Kunzelmann, Karl, Pinna, Lorenzo A., Farinha, Carlos M., Mehta, Anil

Journal:

Biochemical Journal

Year:

2013

Language:

english

File:

PDF, 1.17 MB

english, 2013

35

Increased levels of thioredoxin in patients with abdominal aortic aneurysms (AAAs). A potential link of oxidative stress with AAA evolution

R. Martinez-Pinna, J.S. Lindholt, L.M. Blanco-Colio, T. Dejouvencel, J. Madrigal-Matute, P. Ramos-Mozo, M. Vega de Ceniga, J.B. Michel, J. Egido, O. Meilhac, J.L. Martin-Ventura

Journal:

Atherosclerosis

Year:

2010

Language:

english

File:

PDF, 298 KB

english, 2010

36

Prognostic Impact of Vitamin B6 Metabolism in Lung Cancer

Lorenzo Galluzzi, Ilio Vitale, Laura Senovilla, Ken André Olaussen, Guillaume Pinna, Tobias Eisenberg, Aïcha Goubar, Isabelle Martins, Judith Michels, Gueorgui Kratassiouk, Didac Carmona-Gutierrez, Ma

Journal:

Year:

2012

Language:

english

File:

PDF, 2.02 MB

english, 2012

37

Prognostic Impact of Vitamin B6 Metabolism in Lung Cancer

Lorenzo Galluzzi, Ilio Vitale, Laura Senovilla, Ken André Olaussen, Guillaume Pinna, Tobias Eisenberg, Aïcha Goubar, Isabelle Martins, Judith Michels, Gueorgui Kratassiouk, Didac Carmona-Gutierrez, Ma

Journal:

Year:

2012

Language:

english

File:

PDF, 264 KB

english, 2012

38

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 3701 || Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems

Coppo, Mario, Lodi, Elena, Pinna, G. Michele

Year:

2005

Language:

english

File:

PDF, 548 KB

english, 2005

39

Structural Elucidation of Phototransformation Products of Azimsulfuron in Water

Pinna, M. Vittoria, Zema, Michele, Gessa, Carlo, Pusino, Alba

Journal:

Journal of Agricultural and Food Chemistry

Year:

2007

Language:

english

File:

PDF, 88 KB

english, 2007

40

Ni/ZrO2 catalysts in ethanol steam reforming: Inhibition of coke formation by CaO-doping

Nichele, Valentina, Signoretto, Michela, Pinna, Francesco, Menegazzo, Federica, Rossetti, Ilenia, Cruciani, Giuseppe, Cerrato, Giuseppina, Di Michele, Alessandro

Journal:

Applied Catalysis B: Environmental

Year:

2014

Language:

english

File:

PDF, 3.67 MB

english, 2014

41

Chemical influence on α-recoil damage annealing in apatite: Implications for (U–Th)/He dating

Gautheron, Cécile, Barbarand, Jocelyn, Ketcham, Richard A., Tassan-Got, Laurent, van der Beek, Peter, Pagel, Maurice, Pinna-Jamme, Rosella, Couffignal, Frédéric, Fialin, Michel

Journal:

Chemical Geology

Year:

2013

Language:

english

File:

PDF, 931 KB

english, 2013

42

In vitro activity of rifaximin against clinical isolates of Escherichia coli and other enteropathogenic bacteria isolated from travellers returning to the UK

Hopkins, Katie L., Mushtaq, Shazad, Richardson, Judith F., Doumith, Michel, de Pinna, Elizabeth, Cheasty, Tom, Wain, John, Livermore, David M., Woodford, Neil

Journal:

International Journal of Antimicrobial Agents

Year:

2014

Language:

english

File:

PDF, 841 KB

english, 2014

43

Electrochemical doping of mesoporous silicon with Er: the effect of the current intensity

Mula, Guido, Pinna, Elisa, Falqui, Andrea, Ruffilli, Roberta, Palmas, Simonetta, Mascia, Michele

Journal:

Applied Surface Science

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

44

Label-free proteomic analysis of red blood cell membrane fractions from abdominal aortic aneurysm patients

Martinez-Pinna, Roxana, Burillo, Elena, Madrigal-Matute, Julio, Lopez, Juan Antonio, Camafeita, Emilio, Torres-Fonseca, Monica Maria, Llamas-Granda, Patricia, Egido, Jesus, Michel, Jean-Baptiste, Blan

Journal:

PROTEOMICS - Clinical Applications

Year:

2014

Language:

english

File:

PDF, 357 KB

english, 2014

45

[IEEE 2008 15th Asia-Pacific Software Engineering Conference - Beijing, China (2008.12.3-2008.12.5)] 2008 15th Asia-Pacific Software Engineering Conference - A Dynamic Model of Software Product Generative Process

Concas, Giulio, Marchesi, Michele, Pinna, Sandro, Tonelli, Roberto, Turnu, Ivana

Year:

2008

Language:

english

File:

PDF, 191 KB

english, 2008

46

[IEEE 2014 International Conference on High Performance Computing & Simulation (HPCS) - Bologna, Italy (2014.7.21-2014.7.25)] 2014 International Conference on High Performance Computing & Simulation (HPCS) - An automated infrastructure to support high-throughput bioinformatics

Cuccuru, Gianmauro, Leo, Simone, Lianas, Luca, Muggiri, Michele, Pinna, Andrea, Pireddu, Luca, Uva, Paolo, Angius, Andrea, Fotia, Giorgio, Zanetti, Gianluigi

Year:

2014

Language:

english

File:

PDF, 1.58 MB

english, 2014

47

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt

Occello, Audrey, Dery-Pinna, Anne-Marie, Riveill, Michel

Year:

2008

Language:

english

File:

PDF, 220 KB

english, 2008

48

Carbapenem-resistant Klebsiella pneumoniae colonization at liver transplantation: A management challenge

Giannella, Maddalena, Morelli, Maria Cristina, Cristini, Francesco, Ercolani, Giorgio, Cescon, Matteo, Bartoletti, Michele, Tedeschi, Sara, Pasqualini, Eddi, Lewis, Russell E., Pinna, Antonio Daniele,

Journal:

Liver Transplantation

Year:

2014

Language:

english

File:

PDF, 83 KB

english, 2014

49

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timed Catalytic Petri Nets

Aman, Bogdan, Ciobanu, Gabriel, Pinna, G. Michele

Year:

2012

Language:

english

File:

PDF, 382 KB

english, 2012

50

Catalytic and communicating Petri nets are Turing complete

Ciobanu, Gabriel, Pinna, G. Michele

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 528 KB

english, 2014